Use true division

Getting prepared for Python 2.7 porting