Fixing wrong numeric types