what is the average of 4 tenths and 5 thousandths ?
four tenths = 0.4 five thousandths = 0.005 the average is ( 0.4 + 0.005 ) / 2 = 0.2025 answer : c
divide(add(divide(4, const_10), divide(5, multiply(const_10, const_100))), const_2)