universal arithmetic