Shouldn't this be a constant defined in libstd/num or something?