The previous version without explicit conversions would hit mutez overflow conditions sooner than this version.
