A library to handle immutable big numbers inside PHP applications