pub fn decompose_full_nonce(full_nonce: U256) -> (U256, U256) {
    (
        full_nonce % DEPLOYMENT_NONCE_INCREMENT,
        full_nonce / DEPLOYMENT_NONCE_INCREMENT,
    )
}
Transforms the *full* account nonce into an *account* nonce.

Full nonce is a composite one: it includes both account nonce (number of transactions
initiated by the account) and deployer nonce (number of smart contracts deployed by the
account).
For most public things, we need the account nonce.
core/lib/types/src/utils.rs