y:=16*BOOL_TO_REAL(x)+4;