#lang planet dyoo/whalesong (number? 0) (number? 3.14) (number? (expt 2 100)) (number? 2+3i) (number? "42") (number? 'this-is-a-test) (number? (list 3 4 5))