actually fixed that rounding error
this is the reference implementation of the Counterparty protocol
correct rounding