Use round() to check the cardinality in the test