Float -> Double in examples