fix bug where seqfrac was cast to int