Fix #522: implement floor division on real numbers
Merge branch 'master' of github.com:numba/numba into float_floordiv

Conflicts:
	numba/typing/builtins.py
Merge pull request #560 from pitrou/float_floordiv

Fix #522: implement floor division on real numbers