I have little problem with using floating-point for policy rules like this.