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

Filled in detailed design.