Numbers in Whitespace are supposed to be of arbitrary width, we're limiting them to 63 bits for now