change type of ration into double from int

dividing two integers in python yields an integer, we need a double