michael@0: 
michael@0: function f(a) {
michael@0:     switch(a) {
michael@0:         case 3: return 3;
michael@0:         case 4: return 4;
michael@0:         default: return -1;
michael@0:     }
michael@0: }
michael@0: 
michael@0: assertEq(f(-0.0), -1);
michael@0: assertEq(f(3.14), -1);
michael@0: assertEq(f(12.34), -1);
michael@0: