correct float->decimal type casts