float2int: check range when really needed

added demo and verify programs