Float implicit class for folding options out to toplevel.