Naming hack

<?php
    header('Content-type: text/plain; charset=utf-8');
    define('+1', 16384);
    ${'*.'} = function ($a, $b) {
        return floor($a * $b / constant('+1'));
    };

    ${'/.'} = function ($a, $b) {
        return floor($a * constant('+1') / $b);
    };

    echo ${'/.'}(1, 1) . "\n";
    echo ${'/.'}(1, 2) . "\n";
    echo ${'/.'}(7, 34) + ${'/.'}(23, 99) . "\n";