What number is 1/10 as big as 752.3