Exact length of a rotated edge ?

[puzzledpaul]

Select Edge
Edge | Scale Axis > mmb or rmb option (depending on where you want your origin)
Start op
press tab for input data option
enter relevant data into dialog and ok

here, it'd be 9*100/8.980256 ... which'll scale it to end up as 9 units.

Note that rmb option will assume you want to use the mid point of the edge as the origin / scaling centre, whereas mmb option will let you choose either end vert ... or, in fact any other bit of geom anywhere on your model

pp