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