Implementations of Supermath