Round down
an integer
the alignment boundary
n rounded down to a multiple of align_to
See Implementation
Round down