Since FunC does not have floating-point numbers, it can't use the first approach. But it provides ways to use several of the rest:

• The default / operator uses floor rounding
• The ~/operator uses mathematical rounding
• The ^/ operator uses ceiling rounding