{"header":{"message":"Float utils","description":null,"timestamp":"2026-10-05T11:33:59.074028Z","authors":[{}]},"hash":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC","authors":[{"key":"AAAAC3NzaC1lZDI1NTE5AAAAIDqoC2vKnkGYVlVWMCwVY8XoSRPo6w7Jy/3jpDNaMGo2"}],"deps":{"hashes":[["4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC","Float utils"],["AA",null],["5YODQ6XTS7XTRB72SESL33O5HVEXGGHASGXG5WTZ4IOXTIFME5YQC","Move abstract forms to erlang"]],"deps":["5YODQ6XTS7XTRB72SESL33O5HVEXGGHASGXG5WTZ4IOXTIFME5YQC"],"known":[]},"hunks":[{"FileAdd":{"meta":{"basename":"wa_embedder_float.erl","metadata":0},"path":"src/wa_embedder_float.erl","context":[{"change":2,"pos":15}],"contents":[{"Add":{"text":"%% IEEE 754 semantics for the tagged floats wa_embedder's generated code carries.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:128"}},{"Add":{"text":"%%","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:131"}},{"Add":{"text":"%% The BEAM cannot hold an infinity or a NaN: no literal spells one,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:200"}},{"Add":{"text":"%% `binary_to_term/1' rejects the bit patterns, and even `1.0e308 * 10.0'","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:274"}},{"Add":{"text":"%% raises badarith. A wasm `f32'/`f64' value is therefore an ordinary Erlang","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:351"}},{"Add":{"text":"%% float for as long as it is finite, and one of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:400"}},{"Add":{"text":"%%","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:403"}},{"Add":{"text":"%% '+inf' | '-inf' | {nan, Payload} | {'-nan', Payload}","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:463"}},{"Add":{"text":"%%","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:466"}},{"Add":{"text":"%% once it is not -- exactly the shapes wa_parser 0.1.3 decodes a non-finite","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:543"}},{"Add":{"text":"%% `f32.const'/`f64.const' to, so the value the parser hands over reaches the","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:621"}},{"Add":{"text":"%% generated module untouched. `Payload' is the raw fraction field with the","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:697"}},{"Add":{"text":"%% quiet bit included (16#400000 for a bare f32 `nan', 16#8000000000000 for a","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:775"}},{"Add":{"text":"%% bare f64 one). Keeping the whole fraction keeps the bit-preserving","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:845"}},{"Add":{"text":"%% operations -- abs, neg, copysign, reinterpret, memory store, SIMD lane","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:919"}},{"Add":{"text":"%% extract -- exact, and keeps a signalling NaN distinct from the quiet NaN","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:995"}},{"Add":{"text":"%% carrying the same low payload.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1029"}},{"Add":{"text":"%%","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1032"}},{"Add":{"text":"%% Every generated float helper has two clauses. The first guards on","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1101"}},{"Add":{"text":"%% `is_float/1' (plus whatever the operation itself needs: a non-zero","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1171"}},{"Add":{"text":"%% divisor, a non-negative radicand, an in-range demote) and runs the native","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1248"}},{"Add":{"text":"%% BEAM operation; the second forwards here. Finite values cost exactly what","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1325"}},{"Add":{"text":"%% they cost before, and the IEEE corner cases live in code that can be read","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1402"}},{"Add":{"text":"%% and exercised directly.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1429"}},{"Add":{"text":"%%","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1432"}},{"Add":{"text":"%% `Width' is the wasm type width (32 | 64) and is a static constant at every","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1510"}},{"Add":{"text":"%% call site: it selects the canonical quiet NaN an arithmetic operation","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1583"}},{"Add":{"text":"%% produces and the payload the bit codecs use. Operations whose result can","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1659"}},{"Add":{"text":"%% never be non-finite ignore it.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1693"}},{"Add":{"text":"%%","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1696"}},{"Add":{"text":"%% Depends on nothing else in the project.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1739"}},{"Add":{"text":"-module(wa_embedder_float).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1767"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1768"}},{"Add":{"text":"-export([","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1778"}},{"Add":{"text":" decode/2,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1792"}},{"Add":{"text":" encode/2,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1806"}},{"Add":{"text":" promote/1,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1821"}},{"Add":{"text":" demote/1,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1835"}},{"Add":{"text":" add/3,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1846"}},{"Add":{"text":" sub/3,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1857"}},{"Add":{"text":" mul/3,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1868"}},{"Add":{"text":" 'div'/3,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1881"}},{"Add":{"text":" eq/3,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1891"}},{"Add":{"text":" ne/3,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1901"}},{"Add":{"text":" lt/3,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1911"}},{"Add":{"text":" gt/3,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1921"}},{"Add":{"text":" le/3,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1931"}},{"Add":{"text":" ge/3,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1941"}},{"Add":{"text":" min/3,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1952"}},{"Add":{"text":" max/3,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1963"}},{"Add":{"text":" pmin/3,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1975"}},{"Add":{"text":" pmax/3,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1987"}},{"Add":{"text":" abs/2,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:1998"}},{"Add":{"text":" neg/2,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2009"}},{"Add":{"text":" ceil/2,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2021"}},{"Add":{"text":" floor/2,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2034"}},{"Add":{"text":" trunc/2,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2047"}},{"Add":{"text":" sqrt/2,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2059"}},{"Add":{"text":" nearest/2,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2074"}},{"Add":{"text":" copysign/3,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2090"}},{"Add":{"text":" trunc_sat/5","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2106"}},{"Add":{"text":"]).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2110"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2111"}},{"Add":{"text":"-define(F32_SIGN, 16#80000000).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2143"}},{"Add":{"text":"-define(F32_EXP_MASK, 16#7F800000).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2179"}},{"Add":{"text":"-define(F32_FRAC_MASK, 16#7FFFFF).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2214"}},{"Add":{"text":"-define(F32_QUIET, 16#400000).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2245"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2246"}},{"Add":{"text":"-define(F64_SIGN, 16#8000000000000000).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2286"}},{"Add":{"text":"-define(F64_EXP_MASK, 16#7FF0000000000000).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2330"}},{"Add":{"text":"-define(F64_FRAC_MASK, 16#FFFFFFFFFFFFF).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2372"}},{"Add":{"text":"-define(F64_QUIET, 16#8000000000000).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2410"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2411"}},{"Add":{"text":"%% The f32 fraction field is ?F32_QUIET and the f64 one ?F64_QUIET, so a NaN","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2488"}},{"Add":{"text":"%% payload crossing between the two widths shifts by their ratio.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2554"}},{"Add":{"text":"-define(PAYLOAD_SHIFT, 29).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2582"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2583"}},{"Add":{"text":"%% The largest finite f32, and the value at which round-to-nearest-even stops","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2661"}},{"Add":{"text":"%% producing one: the midpoint between that f32 and 2^128, where the even","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2735"}},{"Add":{"text":"%% candidate is the infinity.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2765"}},{"Add":{"text":"-define(F32_MAX, 3.4028234663852886e38).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2806"}},{"Add":{"text":"-define(F32_INF_EDGE, 3.4028235677973366e38).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2852"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2853"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2931"}},{"Add":{"text":"%% Representation predicates and constructors","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:2977"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3055"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3056"}},{"Add":{"text":"%% float | nan | pos_inf | neg_inf","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3091"}},{"Add":{"text":"class(V) when is_float(V) -> float;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3127"}},{"Add":{"text":"class('+inf') -> pos_inf;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3153"}},{"Add":{"text":"class('-inf') -> neg_inf;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3179"}},{"Add":{"text":"class({nan, _}) -> nan;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3203"}},{"Add":{"text":"class({'-nan', _}) -> nan.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3230"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3231"}},{"Add":{"text":"is_nan(V) -> class(V) =:= nan.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3262"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3263"}},{"Add":{"text":"is_inf(V) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3276"}},{"Add":{"text":" case class(V) of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3297"}},{"Add":{"text":" pos_inf -> true;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3322"}},{"Add":{"text":" neg_inf -> true;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3347"}},{"Add":{"text":" _ -> false","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3366"}},{"Add":{"text":" end.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3375"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3376"}},{"Add":{"text":"inf(true) -> '-inf';","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3397"}},{"Add":{"text":"inf(false) -> '+inf'.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3419"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3420"}},{"Add":{"text":"flip('+inf') -> '-inf';","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3444"}},{"Add":{"text":"flip('-inf') -> '+inf';","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3468"}},{"Add":{"text":"flip({nan, P}) -> {'-nan', P};","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3499"}},{"Add":{"text":"flip({'-nan', P}) -> {nan, P};","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3530"}},{"Add":{"text":"flip(F) -> -F.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3545"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3546"}},{"Add":{"text":"%% Sign bit, not sign of magnitude: -0.0 is negative. The float segment is","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3621"}},{"Add":{"text":"%% big-endian, so the sign is its first bit.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3666"}},{"Add":{"text":"sign(V) when is_float(V) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3694"}},{"Add":{"text":" <> = <>,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3737"}},{"Add":{"text":" S =:= 1;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3750"}},{"Add":{"text":"sign({K, _}) -> K =:= '-nan';","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3780"}},{"Add":{"text":"sign(V) -> V =:= '-inf'.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3805"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3806"}},{"Add":{"text":"zero(true) -> -0.0;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3826"}},{"Add":{"text":"zero(false) -> 0.0.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3846"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3847"}},{"Add":{"text":"%% The quiet NaN of a width. An arithmetic operation's NaN payload is","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3917"}},{"Add":{"text":"%% unspecified by the wasm spec, so every one of them produces this.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:3986"}},{"Add":{"text":"canon(32) -> {nan, ?F32_QUIET};","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4018"}},{"Add":{"text":"canon(64) -> {nan, ?F64_QUIET}.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4050"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4051"}},{"Add":{"text":"sign_mask(32) -> ?F32_SIGN;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4079"}},{"Add":{"text":"sign_mask(64) -> ?F64_SIGN.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4107"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4108"}},{"Add":{"text":"exp_mask(32) -> ?F32_EXP_MASK;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4139"}},{"Add":{"text":"exp_mask(64) -> ?F64_EXP_MASK.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4170"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4171"}},{"Add":{"text":"frac_mask(32) -> ?F32_FRAC_MASK;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4204"}},{"Add":{"text":"frac_mask(64) -> ?F64_FRAC_MASK.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4237"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4238"}},{"Add":{"text":"quiet_bit(32) -> ?F32_QUIET;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4267"}},{"Add":{"text":"quiet_bit(64) -> ?F64_QUIET.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4296"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4297"}},{"Add":{"text":"all_ones_exp(32) -> 16#FF;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4324"}},{"Add":{"text":"all_ones_exp(64) -> 16#7FF.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4352"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4353"}},{"Add":{"text":"frac_bits(32) -> 23;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4374"}},{"Add":{"text":"frac_bits(64) -> 52.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4395"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4396"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4474"}},{"Add":{"text":"%% Bits <-> value","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4492"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4570"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4571"}},{"Add":{"text":"%% Raw bits -> value. Every bit pattern of either width is valid: an","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4640"}},{"Add":{"text":"%% all-ones exponent decodes to an infinity when the fraction is zero and to a","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4719"}},{"Add":{"text":"%% NaN otherwise, and the sign bit is independent of both.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4778"}},{"Add":{"text":"decode(Width, Bits) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4801"}},{"Add":{"text":" Bits1 = Bits band (sign_mask(Width) bor exp_mask(Width) bor frac_mask(Width)),","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4884"}},{"Add":{"text":" Exp = (Bits1 bsr frac_bits(Width)) band all_ones_exp(Width),","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4949"}},{"Add":{"text":" Frac = Bits1 band frac_mask(Width),","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:4989"}},{"Add":{"text":" case {Exp =:= all_ones_exp(Width), Frac} of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5037"}},{"Add":{"text":" {false, _} -> from_bits(Bits1, Width);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5084"}},{"Add":{"text":" {true, 0} -> inf(Bits1 band sign_mask(Width) =/= 0);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5145"}},{"Add":{"text":" {true, _} -> nan_tag(Bits1 band sign_mask(Width) =/= 0, Frac)","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5215"}},{"Add":{"text":" end.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5224"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5225"}},{"Add":{"text":"from_bits(Bits, 32) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5248"}},{"Add":{"text":" <> = <>,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5305"}},{"Add":{"text":" F;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5312"}},{"Add":{"text":"from_bits(Bits, 64) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5335"}},{"Add":{"text":" <> = <>,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5392"}},{"Add":{"text":" F.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5399"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5400"}},{"Add":{"text":"nan_tag(true, Frac) -> {'-nan', Frac};","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5439"}},{"Add":{"text":"nan_tag(false, Frac) -> {nan, Frac}.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5476"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5477"}},{"Add":{"text":"%% Value -> raw bits.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5499"}},{"Add":{"text":"encode(Width, V) when is_float(V) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5536"}},{"Add":{"text":" to_bits(V, Width);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5559"}},{"Add":{"text":"encode(Width, '+inf') -> exp_mask(Width);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5601"}},{"Add":{"text":"encode(Width, '-inf') -> sign_mask(Width) bor exp_mask(Width);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5664"}},{"Add":{"text":"encode(Width, {_, _} = Nan) -> nan_bits(Nan, Width).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5717"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5718"}},{"Add":{"text":"nan_bits({K, P}, Width) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5745"}},{"Add":{"text":" %% A payload that truncates away entirely would decode back as an","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5815"}},{"Add":{"text":" %% infinity, so fall back to the quiet bit.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5863"}},{"Add":{"text":" Frac =","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5874"}},{"Add":{"text":" case P band frac_mask(Width) of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5914"}},{"Add":{"text":" 0 -> quiet_bit(Width);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5949"}},{"Add":{"text":" F -> F","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5968"}},{"Add":{"text":" end,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:5981"}},{"Add":{"text":" exp_mask(Width) bor Frac bor case K of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6024"}},{"Add":{"text":" '-nan' -> sign_mask(Width);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6060"}},{"Add":{"text":" _ -> 0","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6075"}},{"Add":{"text":" end.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6084"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6085"}},{"Add":{"text":"to_bits(F, 64) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6103"}},{"Add":{"text":" <> = <>,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6157"}},{"Add":{"text":" B;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6164"}},{"Add":{"text":"to_bits(F, 32) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6182"}},{"Add":{"text":" case narrow(F) of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6204"}},{"Add":{"text":" G when is_float(G) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6234"}},{"Add":{"text":" <> = <>,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6296"}},{"Add":{"text":" B;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6311"}},{"Add":{"text":" Inf ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6326"}},{"Add":{"text":" encode(32, Inf)","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6354"}},{"Add":{"text":" end.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6363"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6364"}},{"Add":{"text":"%% Round a double to f32 precision. A value past the f32 range becomes an","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6438"}},{"Add":{"text":"%% infinity rather than raising the badarith a narrowing binary match would","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6514"}},{"Add":{"text":"%% give.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6523"}},{"Add":{"text":"narrow(F) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6536"}},{"Add":{"text":" case abs(F) < ?F32_MAX of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6566"}},{"Add":{"text":" true ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6582"}},{"Add":{"text":" %% Both sides 32 bits: building the segment rounds the double to","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6659"}},{"Add":{"text":" %% f32 precision and matching it reads the rounded value back.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6734"}},{"Add":{"text":" <> = <>,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6793"}},{"Add":{"text":" R;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6808"}},{"Add":{"text":" false when abs(F) < ?F32_INF_EDGE ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6853"}},{"Add":{"text":" ?F32_MAX;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6875"}},{"Add":{"text":" false ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6892"}},{"Add":{"text":" inf(sign(F))","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6917"}},{"Add":{"text":" end.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6926"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:6927"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7005"}},{"Add":{"text":"%% Arithmetic","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7019"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7097"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7098"}},{"Add":{"text":"add(W, A, B) -> arith(W, A, B, add).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7135"}},{"Add":{"text":"sub(W, A, B) -> arith(W, A, B, sub).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7172"}},{"Add":{"text":"mul(W, A, B) -> arith(W, A, B, mul).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7209"}},{"Add":{"text":"'div'(W, A, B) -> arith(W, A, B, 'div').","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7250"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7251"}},{"Add":{"text":"arith(W, A, B, Op) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7273"}},{"Add":{"text":" case is_nan(A) orelse is_nan(B) of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7312"}},{"Add":{"text":" true ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7328"}},{"Add":{"text":" %% NaN in, NaN out: the payload of an arithmetic NaN is not","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7400"}},{"Add":{"text":" %% specified, so the canonical one is always a valid answer.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7473"}},{"Add":{"text":" canon(W);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7495"}},{"Add":{"text":" false ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7512"}},{"Add":{"text":" case {is_inf(A), is_inf(B)} of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7555"}},{"Add":{"text":" {true, true} -> both_inf(W, Op, A, B);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7610"}},{"Add":{"text":" {true, false} -> one_inf(W, Op, A, B, first);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7672"}},{"Add":{"text":" {false, true} -> one_inf(W, Op, B, A, second);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7735"}},{"Add":{"text":" {false, false} -> finite_pair(W, Op, A, B)","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7794"}},{"Add":{"text":" end","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7810"}},{"Add":{"text":" end.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7819"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7820"}},{"Add":{"text":"%% Both operands infinite. Addition and subtraction are the only operations","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7896"}},{"Add":{"text":"%% with an invalid case here (inf - inf and inf + -inf).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7953"}},{"Add":{"text":"both_inf(W, add, A, B) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:7979"}},{"Add":{"text":" case sign(A) =:= sign(B) of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8011"}},{"Add":{"text":" true -> A;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8030"}},{"Add":{"text":" false -> canon(W)","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8056"}},{"Add":{"text":" end;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8065"}},{"Add":{"text":"both_inf(W, sub, A, B) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8091"}},{"Add":{"text":" case sign(A) =/= sign(B) of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8123"}},{"Add":{"text":" true -> A;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8142"}},{"Add":{"text":" false -> canon(W)","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8168"}},{"Add":{"text":" end;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8177"}},{"Add":{"text":"both_inf(_W, mul, A, B) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8204"}},{"Add":{"text":" inf(xor_sign(A, B));","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8229"}},{"Add":{"text":"both_inf(W, 'div', _A, _B) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8259"}},{"Add":{"text":" canon(W).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8273"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8274"}},{"Add":{"text":"%% One operand infinite, the other finite. `Which' is the operand's position:","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8352"}},{"Add":{"text":"%% only subtraction cares, since `finite - inf' negates the infinity.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8422"}},{"Add":{"text":"one_inf(_W, add, Inf, _Finite, _Which) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8464"}},{"Add":{"text":" Inf;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8473"}},{"Add":{"text":"one_inf(_W, sub, Inf, _Finite, first) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8514"}},{"Add":{"text":" Inf;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8523"}},{"Add":{"text":"one_inf(_W, sub, Inf, _Finite, second) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8565"}},{"Add":{"text":" flip(Inf);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8580"}},{"Add":{"text":"one_inf(W, mul, Inf, Finite, _Which) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8620"}},{"Add":{"text":" case Finite == 0.0 of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8646"}},{"Add":{"text":" true -> canon(W);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8672"}},{"Add":{"text":" false -> inf(xor_sign(Inf, Finite))","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8716"}},{"Add":{"text":" end;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8725"}},{"Add":{"text":"one_inf(_W, 'div', Inf, Finite, first) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8767"}},{"Add":{"text":" inf(xor_sign(Inf, Finite));","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8799"}},{"Add":{"text":"one_inf(_W, 'div', Inf, Finite, second) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8842"}},{"Add":{"text":" zero(xor_sign(Inf, Finite)).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8875"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8876"}},{"Add":{"text":"%% Both finite. Only division reaches this with a zero divisor: the generated","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8954"}},{"Add":{"text":"%% helpers guard the ordinary case away.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:8995"}},{"Add":{"text":"finite_pair(W, 'div', A, B) when B == 0.0 ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9040"}},{"Add":{"text":" case A == 0.0 of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9061"}},{"Add":{"text":" true -> canon(W);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9087"}},{"Add":{"text":" false -> inf(xor_sign(A, B))","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9124"}},{"Add":{"text":" end;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9133"}},{"Add":{"text":"finite_pair(_W, Op, A, B) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9162"}},{"Add":{"text":" native(Op, A, B).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9184"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9185"}},{"Add":{"text":"native(add, A, B) -> A + B;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9213"}},{"Add":{"text":"native(sub, A, B) -> A - B;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9241"}},{"Add":{"text":"native(mul, A, B) -> A * B;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9269"}},{"Add":{"text":"native('div', A, B) -> A / B.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9299"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9300"}},{"Add":{"text":"%% Sign of a product or quotient: the operands' sign bits combine by xor.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9374"}},{"Add":{"text":"xor_sign(A, B) -> sign(A) =/= sign(B).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9413"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9414"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9492"}},{"Add":{"text":"%% Comparison","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9506"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9584"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9585"}},{"Add":{"text":"%% -1 (A < B), 0 (A == B), 1 (A > B), or `nan' when either operand is a NaN.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9662"}},{"Add":{"text":"order(A, B) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9677"}},{"Add":{"text":" case {class(A), class(B)} of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9710"}},{"Add":{"text":" {nan, _} -> nan;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9735"}},{"Add":{"text":" {_, nan} -> nan;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9760"}},{"Add":{"text":" {float, float} -> float_order(A, B);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9805"}},{"Add":{"text":" {float, pos_inf} -> -1;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9837"}},{"Add":{"text":" {float, neg_inf} -> 1;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9868"}},{"Add":{"text":" {pos_inf, float} -> 1;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9899"}},{"Add":{"text":" {neg_inf, float} -> -1;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9931"}},{"Add":{"text":" {pos_inf, pos_inf} -> 0;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9964"}},{"Add":{"text":" {neg_inf, neg_inf} -> 0;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:9997"}},{"Add":{"text":" {pos_inf, neg_inf} -> 1;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10030"}},{"Add":{"text":" {neg_inf, pos_inf} -> -1","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10063"}},{"Add":{"text":" end.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10072"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10073"}},{"Add":{"text":"float_order(A, B) when A < B -> -1;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10109"}},{"Add":{"text":"float_order(A, B) when A > B -> 1;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10144"}},{"Add":{"text":"float_order(_A, _B) -> 0.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10170"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10171"}},{"Add":{"text":"%% Only `ne' holds against a NaN; every other comparison is unordered.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10242"}},{"Add":{"text":"eq(_W, A, B) -> order(A, B) =:= 0.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10277"}},{"Add":{"text":"ne(_W, A, B) -> order(A, B) =/= 0.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10312"}},{"Add":{"text":"lt(_W, A, B) -> order(A, B) =:= -1.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10348"}},{"Add":{"text":"gt(_W, A, B) -> order(A, B) =:= 1.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10383"}},{"Add":{"text":"le(_W, A, B) -> case order(A, B) of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10419"}},{"Add":{"text":" nan -> false;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10437"}},{"Add":{"text":" 1 -> false;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10453"}},{"Add":{"text":" _ -> true","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10467"}},{"Add":{"text":"end.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10472"}},{"Add":{"text":"ge(_W, A, B) -> case order(A, B) of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10508"}},{"Add":{"text":" nan -> false;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10526"}},{"Add":{"text":" -1 -> false;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10543"}},{"Add":{"text":" _ -> true","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10557"}},{"Add":{"text":"end.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10562"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10563"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10641"}},{"Add":{"text":"%% Minimum / maximum","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10662"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10740"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10741"}},{"Add":{"text":"%% wasm's min/max return a NaN when either operand is one. The relaxed-SIMD","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10817"}},{"Add":{"text":"%% pmin/pmax are defined as a bare comparison -- pmin(a, b) is `b < a ? b : a'","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10896"}},{"Add":{"text":"%% and pmax(a, b) is `a > b ? a : b' -- so an unordered pair falls through to","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:10974"}},{"Add":{"text":"%% the operand the definition names second (a for pmin, b for pmax).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11043"}},{"Add":{"text":"min(W, A, B) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11059"}},{"Add":{"text":" case order(A, B) of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11083"}},{"Add":{"text":" nan -> canon(W);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11108"}},{"Add":{"text":" -1 -> A;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11125"}},{"Add":{"text":" _ -> B","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11140"}},{"Add":{"text":" end.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11149"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11150"}},{"Add":{"text":"max(W, A, B) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11166"}},{"Add":{"text":" case order(A, B) of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11190"}},{"Add":{"text":" nan -> canon(W);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11215"}},{"Add":{"text":" 1 -> A;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11231"}},{"Add":{"text":" _ -> B","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11246"}},{"Add":{"text":" end.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11255"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11256"}},{"Add":{"text":"%% pmin(a, b) = b < a ? b : a","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11286"}},{"Add":{"text":"pmin(_W, A, B) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11304"}},{"Add":{"text":" case order(B, A) of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11328"}},{"Add":{"text":" -1 -> B;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11345"}},{"Add":{"text":" _ -> A","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11360"}},{"Add":{"text":" end.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11369"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11370"}},{"Add":{"text":"pmax(_W, A, B) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11388"}},{"Add":{"text":" case order(A, B) of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11412"}},{"Add":{"text":" 1 -> A;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11428"}},{"Add":{"text":" _ -> B","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11443"}},{"Add":{"text":" end.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11452"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11453"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11531"}},{"Add":{"text":"%% Unary","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11540"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11618"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11619"}},{"Add":{"text":"%% abs, neg and copysign are bit operations, so they carry the NaN payload","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11694"}},{"Add":{"text":"%% through instead of canonicalizing it.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11735"}},{"Add":{"text":"abs(_W, {nan, P}) -> {nan, P};","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11766"}},{"Add":{"text":"abs(_W, {'-nan', P}) -> {nan, P};","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11800"}},{"Add":{"text":"abs(_W, '+inf') -> '+inf';","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11827"}},{"Add":{"text":"abs(_W, '-inf') -> '+inf';","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11854"}},{"Add":{"text":"abs(_W, F) when is_float(F) -> abs(F).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11893"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11894"}},{"Add":{"text":"neg(_W, V) -> flip(V).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11917"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11918"}},{"Add":{"text":"%% ceil, floor, trunc and nearest are the identity on a non-finite value: an","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:11995"}},{"Add":{"text":"%% infinity maps to itself and a NaN to a NaN. sqrt adds the negative finite","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12072"}},{"Add":{"text":"%% radicand, which the native math:sqrt/1 would raise on.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12130"}},{"Add":{"text":"ceil(_W, V) -> V.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12148"}},{"Add":{"text":"floor(_W, V) -> V.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12167"}},{"Add":{"text":"trunc(_W, V) -> V.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12186"}},{"Add":{"text":"nearest(_W, V) -> V.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12207"}},{"Add":{"text":"sqrt(W, V) when is_float(V), V < 0.0 -> canon(W);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12257"}},{"Add":{"text":"sqrt(_W, V) -> V.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12275"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12276"}},{"Add":{"text":"copysign(_W, A, B) -> with_sign(A, sign(B)).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12321"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12322"}},{"Add":{"text":"%% Replace a value's sign bit, keeping its magnitude and NaN payload.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12392"}},{"Add":{"text":"with_sign({_K, P}, true) -> {'-nan', P};","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12433"}},{"Add":{"text":"with_sign({_K, P}, false) -> {nan, P};","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12472"}},{"Add":{"text":"with_sign('+inf', S) -> inf(S);","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12504"}},{"Add":{"text":"with_sign(F, S) when is_float(F) -> from_bits(set_sign(F, S), 64).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12571"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12572"}},{"Add":{"text":"set_sign(F, true) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12593"}},{"Add":{"text":" <> = <>,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12647"}},{"Add":{"text":" B bor ?F64_SIGN;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12668"}},{"Add":{"text":"set_sign(F, false) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12690"}},{"Add":{"text":" <> = <>,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12744"}},{"Add":{"text":" B band (bnot ?F64_SIGN).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12773"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12774"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12852"}},{"Add":{"text":"%% Conversions","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12867"}},{"Add":{"text":"%% --------------------------------------------------------------------------","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12945"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:12946"}},{"Add":{"text":"%% f32 -> f64: an infinity stays an infinity, a NaN payload widens into the","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13022"}},{"Add":{"text":"%% f64 fraction field.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13045"}},{"Add":{"text":"promote('+inf') -> '+inf';","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13072"}},{"Add":{"text":"promote('-inf') -> '-inf';","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13099"}},{"Add":{"text":"promote({K, P}) -> {K, P bsl ?PAYLOAD_SHIFT}.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13145"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13146"}},{"Add":{"text":"%% f64 -> f32: an infinity stays an infinity, a NaN payload narrows into the","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13223"}},{"Add":{"text":"%% f32 fraction field, canonicalizing when it shifts away to nothing.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13293"}},{"Add":{"text":"demote('+inf') -> '+inf';","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13319"}},{"Add":{"text":"demote('-inf') -> '-inf';","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13345"}},{"Add":{"text":"demote({K, P}) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13363"}},{"Add":{"text":" case P bsr ?PAYLOAD_SHIFT of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13396"}},{"Add":{"text":" 0 -> {K, ?F32_QUIET};","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13426"}},{"Add":{"text":" Q -> {K, Q}","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13446"}},{"Add":{"text":" end;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13455"}},{"Add":{"text":"demote(F) when is_float(F) -> narrow(F).","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13496"}},{"Add":{"text":"","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13497"}},{"Add":{"text":"%% Saturating float -> integer conversion of a non-finite value: a NaN has no","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13575"}},{"Add":{"text":"%% integer at all, so it saturates to zero, while an infinity clamps to the","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13651"}},{"Add":{"text":"%% range end its sign selects.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13682"}},{"Add":{"text":"trunc_sat(_W, Lo, Hi, Wrap, V) ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13716"}},{"Add":{"text":" I =","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13724"}},{"Add":{"text":" case is_nan(V) of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13750"}},{"Add":{"text":" true -> 0;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13773"}},{"Add":{"text":" false ->","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13794"}},{"Add":{"text":" case sign(V) of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13826"}},{"Add":{"text":" true -> Lo;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13858"}},{"Add":{"text":" false -> Hi","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13890"}},{"Add":{"text":" end","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13910"}},{"Add":{"text":" end,","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13923"}},{"Add":{"text":" case Wrap of","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13940"}},{"Add":{"text":" undefined -> I;","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13964"}},{"Add":{"text":" _ -> I band Wrap","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13989"}},{"Add":{"text":" end.","pos":"4JG22AHVTQM4GIUZDFMITTNCLCW56PDKTWW6KX4GJPTZTN4TCA2QC:13998"}}]}}],"owner":"couchemar","repo":"wa_embedder","login":null}

…

Dependencies

Change contents

Review