Add examples for rounding down