CREATE TABLE tbl0(c0 , c1 , c2 );
INSERT INTO tbl0 VALUES (0.684824, 0 , 0 )                     , (0 , 0XF9F02BC912E4896F, X'357C351C');
SELECT * FROM tbl0 WHERE ( (((CAST(tbl0.c1 AS ))- (  c0 NOTNULL))% (  c2)))                                                                                                                                                      