[mycpp/runtime] More float -> double fixes