Float Types in Linear Schedule Analysis with Singularity Functions · Study