put a reasonable reason to use DOUBLE()