Change CheckEditable.amount from Float to Double

[mccormick-wooden]

Float too imprecise for this field, and when serialized the value can materially change:

jshell> 147480.18f
$1 ==> 147480.19

We should at least change the type to Double, though I would prefer to change this field to BigDecimal - let me know if that is workable (not sure why floating point types were originally chosen for this and understand there may be constraints I'm not aware of).

Fix attempted here: #345