Fix #522: implement floor division on real numbers