<?php declare(strict_types=1);

require __DIR__ . '/Float_.php';