semidouble
not defined yet