#18839: document that sys.exit() will not accept a non-integer numeric value as exit status.