All numeric fields should be bounds checked, both for too-small or negative, and for too-large

• TODO: How is this checked in a built-in type? Is there a marker?
• int64 must be -(2^53) < x < (2^53) or should be represented as a string (javascript float overflows otherwise)