sql: Numeric -> float

This used to be marked as int, which is very wrong.
Marking this as float is only somewhat wrong, definitely less wrong.