Don't redefine fromIntegral