Fix floating point rounding problem in demo available bitcoins