Fix reading parameter m from input files.

If that parameter was given in floating point notation (e.g. 3.0 instead
of 3) the parser would choke on that.  Now it reads in a float and
converts to integer, checking that the truncation doesn't change the
value.