from the same linked page: "While this method works, it is far from ideal because it results in implicitly casting the initial value as a string (…) To work around this issue, there are two ways of doing this properly: $value: 42; $length: $value + 0px; (…)"
– Herr_SchwabullekAug 23 '18 at 07:18