Utilities to convert between real and Satoshi nubmers