math: fix types