Is there a reason why `0.0` instead of just `0`? I ask because we have just `0` above and consistency is nice, but not sure if there's a reason to prefer one over the other.