64 bit integers

Switches to 64-bit integgers in `Value` class and adds initial number API.