debug the Floor function