oh!freestyle(prod.double v)