mp_integer: minor style change.