No matches were found for subject:"Bug#629132\: ifconfig\: shortened numbers in output are not rounded off"