Division of a decimal by a whole number