inexact-arithmetic