[1632447]: Allow the PPM maxval to go up to 65535, to conform with a format
definition change from around 2000 (even if that's a rare format).