Initial implementation of safe div operator