point_double
point_double(felem x_out, felem y_out, felem z_out,
point_double(felem x_out, felem y_out, felem z_out,
point_double(felem x_out, felem y_out, felem z_out,
point_double(felem x_out, felem y_out, felem z_out,