JuliaLang/julia — comment on commit 05f486e9906b8f406fefff4512174fd79667997d
File: j/floatfuncs.j line 37
By StefanKarpinski:

We can add that when we actually need it. For now as long as we make it clear what `integer_valued` actually means, it's fine.