How do I convert the time of a Video Player, which is a double, into a float that I can then do math with?

Question

\'\'\'

public VideoPlayer video;
public Text texting;
public float x = 0f;

void Update()
{
    x = (float)video.time;
    texting.text = (Mathf.Round((float)