while the length provided in superscript should arguably be smaller. This is also happens with e.g. nested fractions, where content is also shrunk visually, but the measured length remains unchanged.