Numbers in Ethereum and floating point