Fix mix-width and max-width for floats (fix #26)