@@ -1,4 +1,7 @@
1−module Data.Floats
1+module Prelude.Doubles
2+
3+import Builtins
4+import Prelude.Classes
25
36%access public
47%default total
@@ -6,54 +9,55 @@ module Data.Floats
69%include C "math.h"
710%lib C "m"
811
9−pi : Float
12+pi : Double
1013pi = 3.14159265358979323846
1114
12−euler : Float
15+euler : Double
1316euler = 2.7182818284590452354
1417
15−exp : Float -> Float
18+exp : Double -> Double
1619exp x = prim__floatExp x
1720
18−log : Float -> Float
21+log : Double -> Double
1922log x = prim__floatLog x
2023
21−sin : Float -> Float
24+sin : Double -> Double
2225sin x = prim__floatSin x
2326
24−cos : Float -> Float
27+cos : Double -> Double
2528cos x = prim__floatCos x
2629
27−tan : Float -> Float
30+tan : Double -> Double
2831tan x = prim__floatTan x
2932
30−asin : Float -> Float
33+asin : Double -> Double
3134asin x = prim__floatASin x
3235
33−acos : Float -> Float
36+acos : Double -> Double
3437acos x = prim__floatACos x
3538
36−atan : Float -> Float
39+atan : Double -> Double
3740atan x = prim__floatATan x
3841
39−atan2 : Float -> Float -> Float
42+atan2 : Double -> Double -> Double
4043atan2 y x = atan (y/x)
4144
42−sinh : Float -> Float
45+sinh : Double -> Double
4346sinh x = (exp x - exp (-x)) / 2
4447
45−cosh : Float -> Float
48+cosh : Double -> Double
4649cosh x = (exp x + exp (-x)) / 2
4750
48−tanh : Float -> Float
51+tanh : Double -> Double
4952tanh x = sinh x / cosh x
5053
51−sqrt : Float -> Float
54+sqrt : Double -> Double
5255sqrt x = prim__floatSqrt x
5356
54−floor : Float -> Float
57+floor : Double -> Double
5558floor x = prim__floatFloor x
5659
57−ceiling : Float -> Float
60+ceiling : Double -> Double
5861ceiling x = prim__floatCeil x
5962
63+