xpiler: fixed float64 default value