micro-optimize FIXNUMP on known (signed-byte 64) quantities on x86-64