Fix #69 (#71)

Author: Tokazama

Project.toml

@@ -1,7 +1,7 @@
 name = "Static"
 uuid = "aedffcd0-7271-4cad-89d0-dc628f76c6d3"
 authors = ["chriselrod", "ChrisRackauckas", "Tokazama"]
-version = "0.7.2"
+version = "0.7.3"
 
 [deps]
 IfElse = "615f187c-cbe4-4ef1-ba3b-2fcf58d6d173"

src/Static.jl

@@ -328,9 +328,9 @@ Base.:(+)(::StaticInt{N}, y::Ptr) where {N} = y + N
 
 @generated Base.sqrt(::StaticNumber{N}) where {N} = :($(static(sqrt(N))))
 
-Base.div(::StaticNumber{X}, ::StaticNumber{Y}) where {X,Y} = static(div(X, Y))
-Base.div(x::Real, ::StaticNumber{Y}) where {Y} = div(x, Y)
-Base.div(::StaticNumber{X}, y::Real) where {X} = div(X, y)
+Base.div(::StaticNumber{X}, ::StaticNumber{Y}, m::RoundingMode) where {X,Y} = static(div(X, Y, m))
+Base.div(x::Real, ::StaticNumber{Y}, m::RoundingMode) where {Y} = div(x, Y, m)
+Base.div(::StaticNumber{X}, y::Real, m::RoundingMode) where {X} = div(X, y, m)
 Base.div(x::StaticBool, y::False) = throw(DivideError())
 Base.div(x::StaticBool, y::True) = x
 

test/runtests.jl

@@ -61,6 +61,11 @@ end
     @test @inferred(*(Zero(), 3)) === @inferred(*(3, Zero())) === *(Zero(), Zero())
 
     @test float(StaticInt(8)) === static(8.0)
+    @test @inferred(cld(40, static(4))) === cld(40, 4)
+    @test @inferred(fld(40, static(4))) === fld(40, 4)
+    @test @inferred(cld(static(40), static(4))) === static(cld(40, 4))
+    @test @inferred(fld(static(40), static(4))) === static(fld(40, 4))
+
 
     # test specific promote rules to ensure we don't cause ambiguities
     SI = StaticInt{1}