Universal backend: add more numerical types and f64vectors