cryptodouble
not defined yet