Float division by default
Move execute() tests in kingdom