%0 Number % % module % main test27(X):-_t = 1.0,X=_t.