Like resorting to Peano arithmetics when your favorite language doesn’t provide the sqr function