Answer to Question 02C-7

Yes. Integer 20 is converted to 20.0.