use propernotation for decimals