Version 0.0.9: Preventing leq3 return values from becoming smaller than 0.0