How do you simplify 10^3 times 0.23?