plt/racket — pull request #223 by shekari (2013-02-03 21:51:36+00:00)
Title: Make generated contracts for Floats include NaN.

Closes PR13464.