Numbers

[gnumonik]

Context

We need to figure out how to encode Numbers (or drop them entirely, which likely requires modifying the Parser and CST).

Motivation

There are no builtin floating point types onchain. The lack of bit-twiddling primitives means that we cannot implement floating point types in the "normal way".

The Ask

We decide whether we want to keep Number around, and if so, we design a performant implementation (with a known format that can be easily used by other tools).

Acceptance Criteria

How can we decide if the task is complete?

We make a decision and implement it, with tests.