Number Line Arithmetic - NLVM