You're seeing just the macro is_non_neg_float, go back to ExKcal.Guards module for more information.