use zeros instead of unknowns for floating point for now