float(0.25)
NULL
