1) add support for float static range constraint 2) add a testcase for testing float static range constraint 3) add runall-fast (skipping the creddy part)