Как получить значение с плавающей точкой при делении двух целых чисел? (PHP)

Привет, я пытаюсь разделить два целых числа, например: 12/13, но я всегда получаю целое число 1, а не десятичное число. Я попытался набрать значения типа float перед раздачей, но безуспешно. В основном все, что я хочу, это десятичный результат, ...

Перемещение кнопки с плавающим действием вверх и вниз, чтобы избежать блокировки снэк-баром