moses: float vs. double precision limits