float64[] is good for now