No one needs (fromIntegral 0) ;)