Round up/down

Stream: new members

[Junjie Bai]

Is there a function round up/down a rational number to an integer?

[Timo Carlin-Burns]

I think docs#Int.floor and docs#Int.ceil are the preferred way of talking about rounding up and down to integers. They're defined more generally, but can still be used for rational numbers. There's also docs#Rat.floor and docs#Rat.ceil. I don't know if there would ever be a reason to prefer those more specialized functions

[Junjie Bai]

that really helps, thank you!