add double type convertion, fix analyse_constraint with count