library for inexact values