Update 0000-make-integer-literals-coerce-to-floats.md

Filled in all but the detailed design.