(define-module (aux math)
#:export (floor-exact))
(define (floor-exact n)
(floor (inexact->exact n)))