Number-related stuff for racket