An implementation of the preliminary IEEE P1788 standard for interval arithmetic