[Ada] Factor out machine rounding operations