get rid of f64, use double instead