Some updates to arithmetic