{-# htermination atan2 :: Float -> Float -> Float #-}