python3 division leaves float