PHP - объединить два числа в десятичное число

Question

Как следует из названия, у меня есть два целых числа, которые мне нужно объединить, но мне нужно, чтобы они были разделены на a . (десятичная точка). Чего я пытаюсь добиться ниже...

$var1 = 12345;
$var2 = 6789;

//When combined together...
$var3 = $var1 + "." + $var2; // var3 new value would be 12345.6789

Этот код выше не работает, так как я смешиваю строки и целые числа... Кто-нибудь знает, как достичь этого результата? Спасибо!

Answer 1

Как насчет следующего:

$var3 = $var1 . "." . $var2;