Type Alias s7_Double 

pub type s7_Double = s7_double;