@sig("a"/ H[(RealFrac, "a"), (Integral, "b")] >> "b")
def floor(x):
    """
    floor :: RealFrac a, Integral b => a -> b

    floor(x) returns the greatest integer not greater than x
    """
    return RealFrac[x].floor(x)
dataset/ETHPy150Open billpmurphy/hask/hask/Data/Num.py/floor/swapped operands of `/`