Product (<*> REAL) = 1 by Lm3;