janestreet/core_kernel — pull request #12 by mmottl (2014-07-10 20:03:53+00:00)
Title: Added missing float operations and constants

Pretty trivial.