michael@0: function add0_5 (n) {
michael@0:     return n + 0.5;
michael@0: }
michael@0: 
michael@0: function add1_0 (n) {
michael@0:     return n + 1;
michael@0: }
michael@0: 
michael@0: function add1_5 (n) {
michael@0:     return n + 1.5;
michael@0: }
michael@0: 
michael@0: function add2_0 (n) {
michael@0:     return n + 2;
michael@0: }
michael@0: 
michael@0: function sub2_0 (n) {
michael@0:     return n - 2;
michael@0: }
michael@0: 
michael@0: 
michael@0: var num = 1.5;
michael@0: 
michael@0: function main () {
michael@0:     for (var i = 0; i < 1000; i++) {
michael@0:         assertEq(add0_5(num), 2);
michael@0:         assertEq(add1_0(num), 2.5);
michael@0:         assertEq(add1_5(num), 3);
michael@0:         assertEq(add2_0(num), 3.5);
michael@0:         assertEq(sub2_0(num), -0.5);
michael@0:     }
michael@0: }
michael@0: main();