Something I didn't realize when I first learned about libraries in Solidity is you can apply multiple libraries to the same type. Here's what I mean:
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.10;
library SafeMath1 {
function add(uint x, uint y) internal pure returns (uint) {
uint z = x + y;