Tom cut a red rope into 5 equal pieces that were 9 m long and had 12 m leftover.
If the red rope was twice as long as a blue rope, what was the
length of the blue rope?
m (enter your answer as a decimal to the tenth place)