A robust library to handle immutable big numbers inside PHP applications