Kore LibrarypreludeNumOn this pageNumAllow operations over numeric types Methods (+) a -> a -> a (-) a -> a -> a (*) a -> a -> a (/) a -> a -> a (%) a -> a -> a (**) a -> a -> a signum a -> a Returns the sign of a number: -1, 0 (for zero value), 1 negate a -> a Returns value * (signum value)