few fixes related to comparing floating point variables