High precision floating point datatype for dart