Re #1162: Unhandled numeric exception