Revert "un-embed infinite for testing"

This reverts commit a5c42e74ca331de1abeaa79504968701c100badb.