double precision for asdf util