Use native convert_to_double() instead of userspace doubleval()