import rand { f64 }

type Dot = [3]f64