mathlib3

feat(algebra/floor): Split floor from archimedean file.

#1372

Merged