Extend universal backend with more primitives (mainly floating point)
Improve naive division algorithm (patch contributed by Brad Lucier)