SafeCast

  function toUint160(
    uint256 y
  ) internal pure returns (uint160 z)

  function toInt128(
    int256 y
  ) internal pure returns (int128 z)

  function toInt256(
    uint256 y
  ) internal pure returns (int256 z)